10

An NSF Proposal

Year:
2005
Language:
english
File:
PDF, 223 KB
english, 2005
12

Program derivation by fixed point computation

Year:
1989
Language:
english
File:
PDF, 4.00 MB
english, 1989
18

Geometric constraint solver

Year:
1995
Language:
english
File:
PDF, 1.87 MB
english, 1995
31

Three Partition Refinement Algorithms

Year:
1987
Language:
english
File:
PDF, 2.40 MB
english, 1987
46

Finite Differencing of Computable Expressions

Year:
1982
Language:
english
File:
PDF, 2.55 MB
english, 1982
50

Challenges in Topological Object Data Analysis

Year:
2018
Language:
english
File:
PDF, 2.17 MB
english, 2018